#include "EquivalenceRelation.h"

/*
若对于每一对元素(a, b)，a、b属于集合S，aRb或者为true或者为false，则称在集合S上定义关系R。如果aRb是true，则称
ab有关系。
等价关系是满足下列三个性质的关系R。
1. (自反性)对于所有a属于S，aRa
2. (对称性)aRb当且仅当bRa
3. (传递性)若aRb且bRc，则aRc

关系<=不是等价关系。虽然它是自反的(a<=a)，可传递的(a<=b，b<=c则a<=c)，但是它却不是对称的，即不能由a<=b得出
b<=a。

*/